Reference for Bava Batra 269:2
אמר רבא מאי ניחוש לה הא אמר רב חייא בר אבא אמר ר' יוחנן בעל שאמר גרשתי את אשתי נאמן א"ל אביי והא כי אתא ר' יצחק בר יוסף אמר ר' יוחנן בעל שאמר גרשתי את אשתי אינו נאמן א"ל ולאו מי לא שנינהו כאן למפרע וכאן להבא
and] he replied to them, 'She is suitable for the High Priest',<span class="x" onmousemove="('comment',' I.e., 'she may marry anyone' having been divorced by him. 'High Priest' is thus not to be taken literally, since even a priest is forbidden by law to marry a divorced woman (v. Rashb. and Tosaf.) [Yad Ramah, a.l., explains that the marriage had not been consummated and the husband claimed the annulment thereof because it had been contracted on a certain condition which was not fulfilled, in these circumstances the woman might be allowed to marry even a High Priest.] ');"><sup>3</sup></span> [in considering this case], Raba said: What is there to apprehend?<span class="x" onmousemove="('comment',' If she is exempted from the levirate marriage. ');"><sup>4</sup></span>